Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

双金属氧化物和氧化物载体组分间的相互作用

讨论了一些过渡金属氧化物（NiO,CuO或MoO3)在经改性所得复合载体（TiO2-γ-Al2O3，MoO3-t-ZrO2或NiO-t-ZrO2)上的分散作用，这些三地体系中实验测定的氧化物分散容量与研究负载型二元氧化物体系所得嵌入模型的估算值基本相符；样品的表面组成、结构和性能与载体的表面结构、过渡金属氧化物的负载量和加料顺序以及焙烧温度密切相关。     

用遗传算法解决一类模糊流水车间调度问题

对同时考虑模糊加工时间和模糊交货期的模糊流水车间调度问题进行了研究 ,模糊加工时间用三角模糊数来表示 ,模糊交货期用梯形模糊数来表示。应用遗传算法搜索最优排序 ,在适应度函数处理中引入模糊数处理方法 ,以平均满意度最大作为优化目标。最后给出了实验结果和结论     

在胎儿发育过程中人MK基因的组织差异性表达

MK是肝素结合因子家族中的一个成员，用RT－PCR研究了第11－16周胎儿龄的胎儿的神经组织与非神经组织中MK基因的组织差异性表达，随着胎儿龄的增加，在神经组织中，MK呈现出规律性的从无互有和从低表达到高表达的趋势，提示它可能在胎儿脑的发育中起着重要的作用，在其他非神经组织中，尽管各组织中MK的表达呈现不同的规律，但看起来总的趋势是趋向活跃。     

黄磷废水处理系统中氰降解菌的筛选

首次对含有氰化物的黄磷废水进行了氰降解菌筛选优化,共得耐氰菌20株,其中有9株的降氰率在90％以上,且AB2001003菌株降氰率在97.1％以上.该菌能在72 h内使含CN~-50mg·L~(-1)的黄磷废水降至0.5 mg·L~(-1)以下,达到国家一级排放标准.该菌的最佳生长pH7.7,最佳温29℃.     

A SYNTHESIS METHOD FOR TWO-ORDER UNCERTAIN SYSTEMS: AUTO-STABLE REGIONAPPROACH

1.IntroductionInrecentyears,thesynthesisproblemforuncertainsystemshasbeendeeplystudied.ManymethodssuchasLyapunov,thevariablestructurecontrol,theadaptivecontrolandtherobustcontrolmethodshavebeenproposed[IMS].Sincetheadaptivecontrolandtherobustcontrolmethod…     

热连轧棒材三切分轧制的实践

介绍萍乡钢铁有限责任公司三轧厂引进的三切铲轧制技术、主要设备概况、生产过程中存在的问题及改进措施：分析三线切分轧制稳定生产的关键是保证切分后轧件尺寸的均匀性，并给出了预切分轧件的偏移量与三线活套高度差的关系。     

公共机房硬盘数据维护技术

硬盘数据的维护是确保公共机房计算机软件系统正常运作、保证稳定的实验环境的关键.各种硬盘维护技术有着各自的不足和优点,综合应用这些技术可对硬盘数据提供比较完善的保护.     

一阶非线性非完整系统的改进的Routh方程

导出了一阶非线性非完整系统的改进的Ｒｏｕｔｈ方程并举例说明其应用，从而提供了建立非完整系统的运动微分方程的一种新方法。该方程的特点在于其第一组方程中只包含系统的独立的广义动量，而第二组方程中不包含任何广义动量。同时，本文结果也是对黄昭度先生的“改进的Ｒｏｕｔｈ方程”一文中的某些错误的修正。     

写大事抒大情言大理－－试论梁衡的政治散文

当今散的总体格局是多元而琐碎，繁茂而芜杂，贴近生活而缺乏超越，思路活泛而气魄不足。梁衡的政治散却以其题材的大，气魄的雄，以及思考的远和开拓的深，引起散界的瞩目。